open Syntax
open Binding
open BlockPopulation
open BlockPopulationVisual

type population_window_setting = 
	|Auto | ProofDepth of int | BlocPopInitComplexity of int | LoadCasesOnOpen of string 
	|OpenFileDlgPathGP of string  | GenePrecision of int | PopSize of int | MaxGeneSize of int
	|MaxProofWidth of int

val make_population_visual : 
	?debug:bool -> context ref -> population_window_setting list -> unit